If jEdit is running in background mode on windows, I guess there is an extra process
that needs to be killed manually, because updater doesn't properly do it. And it's
hard to tell if the update is a success in the end if I have to manually kill jEdit
and the background server tray icon.
Submitted | ezust - 2012-09-22 15:23:08 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | None |
Resolution | None |
2012-09-26 18:09:06 ezust |
- **summary**: Updater + Windows + Background Mode = manual process kill --> Updater + Windows + Server Mode = manual process kill |
---|